Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 3.Ident. | Authors (with country if any) | Title |
---|---|---|
006197 | Silvano Dal Zilio [France] ; Régis Gascon [France] | Resource Bound Certification for a Tail-Recursive Virtual Machine |
006B41 | Roberto M. Amadio [France] ; Silvano Dal Zilio [France] | Resource Control for Synchronous Cooperative Threads |
006C62 | Roberto M. Amadio [France] ; Solange Coupet-Grimal [France] ; Silvano Dal Zilio [France] ; Line Jakubiec [France] | A Functional Scenario for Bytecode Verification of Resource Bounds |
This area was generated with Dilib version V0.6.33. |